$\forall$$g$:IMonoid, $n$:$\mathbb{N}^{+}$, $e$:$\mid$$g$$\mid$. ($n$ $\cdot$ $e$) = ((($n$ {-} 1) $\cdot$ $e$) $\ast$ $e$) $\in$ $\mid$$g$$\mid$